Java Memory Model - PDFSEARCH.IO - Document Search Engine

Java Memory Model
Results: 74

#	Item
1	. e Java Memory Model Jesper Öqvist . Add to Reading List Source URL: fileadmin.cs.lth.se Language: English - Date: 2013-11-29 03:58:06
2	Fixing the Java Memory Model William Pugh Dept. of Computer Science Univ. of Maryland, College Park Add to Reading List Source URL: www.cs.umd.edu - Date: 1999-04-09 13:55:14
3	Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:59 Computing Computer programming Concurrency control Software engineering Software design patterns Concurrency Edsger W. Dijkstra Concurrent computing Synchronization Thread-local storage Java memory model Thread
4	A Locality Model for the Real-Time Specification for Java Abdul Haseeb Malik Andy Wellings Yang Chang Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-23 10:45:03 Computing Concurrent computing Parallel computing Computer memory Classes of computers Central processing unit Non-uniform memory access Cache coherence Multiprocessing Uniform memory access Thread Cache memory
5	Towards a DSAL for Object Layout in Virtual Machines - Position Paper Stijn Timbermont Bram Adams Michael Haupt Add to Reading List Source URL: dsal.dcc.uchile.cl Language: English - Date: 2008-10-10 19:02:49 Software engineering Computing Computer programming Object-oriented programming Memory management Programming paradigms Data types Java Class Garbage collection VM Object model
6	Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:00 Instruction set architectures Computer memory X86 architecture X86-64 Java memory model X86 Memory barrier Spinlock Memory ordering Low-level programming language Itanium ARM architecture
7	Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace Add to Reading List Source URL: www.upc.mtu.edu Language: English - Date: 2006-02-07 16:59:47 Parallel computing Concurrent computing Computer memory Memory barrier Unified Parallel C Universal Product Code Thread Consistency model Synchronization Java concurrency Monitor
8	Extended Sequential Reasoning for Data-Race-Free Programs Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2011-05-07 02:09:33 Computing Software engineering Concurrency control Concurrency Java platform Concurrent computing Communication Synchronization U3 Java memory model Vienna U-Bahn Java class file
9	How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:25 Computing Software engineering Software Compiler construction Concurrency Programming language implementation Parallel computing Memory model Volatile Java memory model OpenMP Optimizing compiler
10	Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++) Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computing Software engineering Concurrent computing Concurrency Parallel computing Computer memory Compiler construction OpenMP Lock Memory model Barrier Linearizability

UPDATE